Category Theory Illustrated – Natural Transformations
abuseofnotation.github.io·5d·
Discuss: Lobsters, Hacker News, r/programming
🎯Type Theory
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·3h·
Discuss: DEV
🌳Pattern Match Compilation
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·14h
🧮Combinator Calculus
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔗Concatenative Theory
Multimodal Function Vectors for Spatial Relations
arxiv.org·4h
🧩Persistent Vectors
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·21h·
Discuss: Hacker News
💬Interactive REPLs
Property-based testing of batch-invariant operations
mmaaz.ca·9h·
Discuss: Hacker News
🎲Property Testing
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinů
logicmatters.net·1d
🔗Concatenative Theory
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·12h·
Discuss: Hacker News
🔢Algebraic Datatypes
Database Normalization
dev.to·14h·
Discuss: DEV
🎓Educational Databases
why & how i learnt ML
abinesh-mathivanan.vercel.app·23h·
Discuss: r/programming
🔍ML Language
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·1d·
Discuss: Hacker News, r/LLM
🔍ML Language
Understanding the KV Cache (feat. Self-Attention)
dev.to·57m·
Discuss: DEV
🔄Subinterpreters
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
Discuss: Lobsters, Hacker News
⚡functional programming
Homophily-induced Emergence of Biased Structures in LLM-based Multi-Agent AI Systems
arxiv.org·4h
🪞Homoiconicity
K-Means Clustering — What Every Data Scientist Should Know.
pub.towardsai.net·1d
🔢Algebraic Datatypes
Demystifying Codensity Monads via Duality
arxiv.org·5d
♾️Codata Types
Titans-Cardinals takeaways: Tennessee rallies after Emari Demercado's goal-line blunder
nytimes.com·8h
🛡️Error Boundaries
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·3d
🔬programming language theory
Geometry Meets Vision: Revisiting Pretrained Semantics in Distilled Fields
arxiv.org·4h
🗺️Region Inference